Topos theory - PDFSEARCH.IO - Document Search Engine

Topos theory
Results: 187

#	Item
31	Topos Theory Olivia Caramello Introduction The categorical point of view Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-03-08 20:29:23
32	Topos Theory Olivia Caramello Introduction Interpreting logic in categories Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2014-07-23 07:04:26
33	Topos Theory Olivia Caramello What is a topos? Toposes as bridges A new way of Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-03-08 20:29:19
34	Topos Theory Olivia Caramello Local operators For further reading Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-03-08 20:29:20
35	Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2010-04-08 06:04:04 Mathematics Category theory Algebra Functors Sheaf theory Adjoint functors Topos Topos theory Equivalence of categories Sheaf Natural transformation Subcategory
36	Topos Theory Olivia Caramello Points of toposes Separating sets of points of a topos Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-03-08 20:29:21
37	The unification of Mathematics via Topos Theory Olivia Caramello Toposes as Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-02-02 07:20:45
38	Topos Theory Olivia Caramello Sheaves on a topological space Sheaves as étale bundles Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-03-08 20:29:36
39	Topos Theory Olivia Caramello Grothendieck toposes Basic properties of Grothendieck Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-03-08 20:29:37
40	TOPOS THEORY EXAMPLES 3 (Lent TermO. Caramello . Let E be a topos. Show that the following conditions are equivalent: (a) For any subobject A0 → A, we have A0 ∪ ¬A0 ∼ = A. Add to Reading List Source URL: www.oliviacaramello.com Language: English - Date: 2013-03-08 20:29:16